2541. فلسفه ریاضیات
پدیدآورنده : مایکل دامت,دامت,Dummett
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
2542. مبحثی در منطق ریاضی
پدیدآورنده : / شاسی‌موهان سریواستاوا,A course on mathematical logic, ]2013].
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : منطق ریاضی -- کتاب‌های درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
2543. مختصری از منطق ریاضی (حساب محمولات)
پدیدآورنده : / گردآورنده غلامرضا یاسیپور.,یاسیپور
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01
رده :
QA
۹
/
ی
۲
م
۳ ۱۳۹۶
2544. م‍دخ‍ل منطق صورت، ی‍ا، منطق ریاضی
پدیدآورنده : / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2545. معما‌ها‌ی شهرزاد
پدیدآورنده : اسمولیا‌ن، ریموند ام Smullyan, Raymond M .
کتابخانه: (کلستان)
موضوع : ریاضیات -- سرگرمی‌ها,ecreationsB Mathematical,معما‌ها‌ی منطقی,uzzlesB Logic
رده :
QA
۹۵
/
الف
۴۷
م
۶
2546. مفهوم‌نگاشت
پدیدآورنده : / گوتلوب فرِگه,فرگه,Frege
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
رده :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
2547. مقدمه‌ای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: (خراسان رضوی)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
رده :
۵۱۱
/
۳
الف
۶۹۶
م
2548. مقدمه‌ای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern
رده :
QA
۹
/
الف
۷
م
۷ ۱۴۰۱
2549. مقدمه‌ای بر نظریه‌ی اصولی مجموعه‌ها
پدیدآورنده : / تالیف عبدعلی کوچک پور، مهرداد نامداری.,کوچکپور
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : نظریه اصولی مجموعه‌ها,Axiomatic set theory,منطق ریاضی,Logic, Symbolic and mathematical,a06,a06,a08,a08
رده :
QA
۲۴۸
/
ک
۹
م
۷ ۱۳۹۴
2550. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2551. منطق ریاضی
پدیدآورنده : / محمد اردشیر.,اردشیر بهرستاقی
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۹
2552. منطق ریاضی
پدیدآورنده : / تالیف منیره پیمان,پیمان
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
رده :
QA
۹
/
پ
۹
م
۸
2553. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2554. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸
2555. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: جامعة المذاهب الاسلامیة (طهران)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۸
م
۸ ۱۳۹۹
2556. منطق و زبان‌شناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸ ۱۳۹۹
2557. نظریه صدق تارسکی
پدیدآورنده : / علی‌اکبر احمدی‌افرمجانی.,احمدی افرمجانی
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01
رده :
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
2558. هنر منطق در دنیای بی‌منطق
پدیدآورنده : / یوجنیا چنگ,عنوان اصلی: The art of logic in an illogical world, 2018.,چنگ,Cheng
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق,Logic,استدلال ,Reasoning,اندیشه و تفکر,Thought and thinking, -- به‌زبان ساده, -- Popular works, -- به زبان ساده, -- Popular works, -- به زبان ساده, -- Popular Works,a01,a01,a02,a02,a04,a04,a03,a03
رده :
QA
۹
/
چ
۹
هـ
۹ ۱۳۹۸
